Uses of Class
edu.uky.ai.lp.logic.Term

Packages that use Term

Package	Description
edu.uky.ai.lp.logic	Contains classes for representing logical formulas in function-free predicate logic, unifiers, and knowledge bases.

Uses of Term in edu.uky.ai.lp.logic

Subclasses of Term in edu.uky.ai.lp.logic

Modifier and Type	Class	Description
class	Constant	Represents a specific thing in the logical universe.
class	Variable	Represents a place-holder term which can be bound to any constant.

Fields in edu.uky.ai.lp.logic declared as Term

Modifier and Type	Field	Description
Term[]	Fact.terms	The terms to which the predicate applies

Methods in edu.uky.ai.lp.logic that return Term

Modifier and Type	Method	Description
Term	Unifier.get(Variable variable)	Returns the value assigned to a variable (if any) under this unifier.
abstract Term	Term.substitute(Unifier unifier)
Term	Variable.substitute(Unifier unifier)

Methods in edu.uky.ai.lp.logic with parameters of type Term

Modifier and Type	Method	Description
Unifier	Unifier.set(Variable variable, Term value)	Sets a variable equal to a value (if value is a constant) or as having the same value as another variable (if value is a variable).

Constructors in edu.uky.ai.lp.logic with parameters of type Term

Constructor	Description
Fact(java.lang.String predicate, Term... terms)	Constructs a new fact with the given predicate and terms.